关系演算
Corresponding relation of the relational algebra calculus and SQL query
关系代数运算与SQL查询的对应关系
Based on analyzing the structure of syntax and the reduction system of semantics in seal-calculus and boxed ambient calculus we present a few equivalence relation: communica-( tion's) equivalence, communication primitive's equivalence and the equivalence of code movement.
本文在系统分析Seal演算与Boxed Ambient演算的语法结构和语义规约系统的基础上给出了一些等价关系:通信等价、通信原语等价和代码移动等价。
英语网 · 双语新闻
英语网 · 双语娱乐资讯
英语网 · 高考英语
英语网 · 英语口语
英语网 · 商务英语